离散时间马尔可夫链相关论文
车辆变道是很频繁的驾驶行为,对无人车的变道行为进行可靠性预测尤为必要.为更好地实现可靠性预测,使用UML活动图对基于长短期记忆......
两性Galton-Watson分支过程是一类重要的随机过程，其最初是由Daley[19]于1968年引进的.本论文修正了一类带移民两性分支过（BGWP）并在......
针对智能合约对安全性方面的相关性质的极高要求,有必要改进已有的建模算法,提出将智能合约函数的函数体语句建模为DTMC的算法,并......
Web服务组合可以通过整合网络上现有的多种异构服务从而形成新的服务。针对服务组合中的可靠性和相关性能评估问题，提出了一种基于......
虽然AADL已经被广泛应用于嵌入式软件体系结构的建模与分析,但其作为一种半形式化建模语言,不能满足严格分析评估软件可靠性的要求......
城市交通,公交先行。通过公共交通来解决城市出行问题已达成共识,各级政府、企业投入巨资对公交系统进行升级改造,无人售票,语音报......
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度，定义迁移系统TS对于LTL公式(ω)的满足度，并指出该概念是“TS满......
对数字化变电站自动化系统(DSAS)的可靠性进行评估是其推广的必要前提。文中提出一种包括DSAS功能可靠性和系统可靠性的评估方法,......
